本稿は、代数解析学における核心的な理論である「$\D$加群」「Grothendieck位相 (Grothendieck topology)」「マイクロ台 (microsupport)」「増強層 (enhanced sheaves)」に関する一連の議論を、一切の省略なく自己完結的 (self-contained) にまとめた完全版の解説文書です。以前の版に欠けていたGrothendieck位相の厳密な定義と、それが解析学の増大度を扱う上でいかに本質的であるかの詳細な議論を大幅に加筆しました。
数学的な命題やその完全な証明は「だ・である調」で記述し、読者の直観を助けるインフォーマルな解説や物理的なアナロジーは「です・ます調」で記述しています。また、指定された専門用語の規則（例： $\subset$, $\varnothing$, $\smallsetminus$ の使用、clopen、超不連結、結合的に全射などの指定訳語）を完全に遵守しています。
解析学の最大の目標の一つは微分方程式系の解空間を幾何学的に理解することです。柏原正樹氏らは、多様体 $X$ 上の線形偏微分方程式系を、微分作用素の層 $\D_X$ 上の加群（$\D$加群）$\M$ として定式化しました。解空間は、関数空間の層 $\F$ （例えば正則関数の層 $\O_X$）を用いて導来圏の関手として次のように記述されます。
$$\Sol(\M) = \RHom_{\D_X}(\M, \F)$$
1980年代、柏原氏は「確定特異点のみを持つホロノミック$\D$加群」の解空間が構成可能層 (constructible sheaf) になるという古典的Riemann-Hilbert対応を証明しました。しかし、この理論は $x^2 y' + y = 0$ に代表される「不確定特異点」を持つ方程式には適用できませんでした。不確定特異点における $e^{1/x}$ のような「指数関数的な爆発」を、通常の位相空間の枠組みでは正確に測ることができないためです。
通常の位相空間論における開集合の族 (family) や無限被覆を用いた議論は、解析的な「増大度」を保存しません。例えば、一般位相幾何学において、clopen（開かつ閉）な集合を豊富に持つ超不連結 (extremally disconnected) な空間や、Z超フィルターを用いて構成されるStone-Cechコンパクト化のような極端な空間を扱う際、族のメンバーが結合的に全射 (jointly surjective) であるような射の集まりを被覆として扱います。しかし、解析学において無限個の開集合を貼り合わせると、各局所領域での評価式（不等式の定数）が無限大へと発散してしまうという致命的な欠陥があります。
実多様体 $X$ （局所的には $\R^n$）の開集合 $U \subset X$ 上の実数値連続関数 $f: U \to \R$ が緩増加 (tempered) であるとは、ある定数 $C > 0$ と整数 $N > 0$ が存在して、任意の $x \in U$ に対して
$$|f(x)| \le C \cdot \operatorname{dist}(x, \partial U)^{-N} \cdot (1 + |x|)^N$$
が成り立つことである。緩増加連続関数の全体を $\O^t(U)$ と表す。
通常の位相空間 $X = \R$ 上において、前層 $U \mapsto \O^t(U)$ は層 (sheaf) にならない。
層の公理である「貼り合わせの公理」が満たされないことを示す。$\R$ の開被覆として、区間の族 $U_n = (n - 1, n + 2) \ (n \in \Z)$ をとる。明らかに $\bigcup_{n \in \Z} U_n = \R$ であり、自然な包含写像の族 $\{ U_n \to \R \}_{n \in \Z}$ は結合全射 (joint surjection) である。
大域的な関数 $f(x) = e^{x^2}$ を考える。各 $n \in \Z$ に対して、制限 $f_n = f|_{U_n}$ を定義する。区間 $U_n$ は有界であり、$f(x)$ は $U_n$ の閉包（コンパクト集合）上で有界な連続関数であるため、境界 $\partial U_n$ に近づいても発散しない。したがって当然 $U_n$ 上で緩増加条件を満たす。すなわち、すべての $n \in \Z$ について $f_n \in \O^t(U_n)$ である。
また、交わり $U_n \cap U_m$ 上では、定義より常に $f_n = f_m$ が成り立っている。もし $\O^t$ が層であるならば、これらの局所データ $\{f_n\}$ を貼り合わせた大域的な切断 $F \in \O^t(\R)$ が唯一つ存在しなければならない。集合論的な写像としては $F(x) = e^{x^2}$ となる以外にない。
しかし、$F(x) = e^{x^2}$ は $\R$ 全体の上で緩増加ではない。なぜなら、任意の有限の定数 $C > 0$ と $N > 0$ に対して、多項式オーダーの増大度を示す不等式 $e^{x^2} \le C(1+|x|)^N$ は $x \to \infty$ の極限において必ず破綻するからである。ゆえに $F \notin \O^t(\R)$ であり、貼り合わせの公理は不成立となる。$\blacksquare$
前節で見たように、通常の位相空間における無限被覆は、解析的な増大度を破壊します。この困難を乗り越えるため、P. Schapiraと柏原正樹は、Alexander Grothendieckが代数幾何学のために導入したGrothendieck位相 (Grothendieck topology) の枠組みを解析学に応用しました。これにより、「どの部分集合を開集合とみなすか」「どの族を被覆とみなすか」を圏論的に完全に制御することが可能になります。
圏 (category) $\mathcal{C}$ 上のGrothendieck位相 (Grothendieck topology) とは、$\mathcal{C}$ の各対象 $U$ に対して、「被覆 (covering)」と呼ばれる射の族 $\{ \phi_i : U_i \to U \}_{i \in I}$ の集まりを指定する規則であり、以下の3つの公理を満たすもののことである。
圏 $\mathcal{C}$ とその上のGrothendieck位相の組をサイト (site) と呼ぶ。サイトが与えられれば、その上の前層に対して「貼り合わせの公理」を定式化でき、層 (sheaf) の概念が well-defined に定まる。
通常の位相空間 $X$ は、開集合を対象とし、包含写像を射とする圏とみなせます。この圏における被覆を「和集合が元と一致する開集合の族」と定義すれば、標準的な位相空間論がGrothendieck位相の特別な場合として復元されます。位相空間論では、開集合の族が全体を覆うとき、包含写像の族が結合的に全射 (jointly surjective) であると言い換えることができます。
増大度を扱うためには、境界が極端に複雑な（フラクタル的な）開集合や、無限被覆を禁止する必要があります。そこで、実解析幾何学において行儀の良い集合である「劣解析的集合」と、「有限被覆」のみを許容する特殊なサイトを構成します。
実解析多様体 $X$ の部分集合 $S$ が半解析的集合 (semianalytic set) であるとは、各点 $x \in X$ の近傍において、$S$ が有限個の実解析関数 $f_{ij}, g_{ij}$ を用いて以下のように表されることである。
$$S = \bigcup_{i=1}^p \bigcap_{j=1}^q \{ y \mid f_{ij}(y) > 0, \ g_{ij}(y) = 0 \}$$
さらに、実解析多様体 $M$ 上の半解析的集合 $A$ と固有解析写像 (proper analytic map) $\pi: M \to X$ によって、局所的に $\pi(A)$ の形で書ける $X$ の部分集合を、劣解析的集合 (subanalytic set) と呼ぶ。
実解析多様体 $X$ に対して、劣解析的サイト (subanalytic site) $X_{sa}$ を以下で定義されるサイトとする。
有限被覆しか許容しないGrothendieck位相を導入したことで、命題1.2で見たような無限の発散を抑え込むことが可能となります。以下の定理は、このサイトの強力さを示しています。
緩増加連続関数の前層 $U \mapsto \O^t(U)$ は、劣解析的サイト $X_{sa}$ 上において層 (sheaf) となる。
層の公理のうち、貼り合わせの条件を確認する。劣解析的開集合 $U \in X_{sa}$ と、その $X_{sa}$ における被覆 $\{U_i\}_{i \in I}$ をとる。定義2.3のGrothendieck位相の要請により、この被覆には必ず有限部分被覆 $\{U_{i_1}, \dots, U_{i_k}\}$ が存在して $U = \bigcup_{j=1}^k U_{i_j}$ となる。議論を簡単にするため、初めから被覆は有限族 $\{U_1, \dots, U_k\}$ であるとしてよい。
各 $j \in \{1, \dots, k\}$ に対して緩増加関数 $f_j \in \O^t(U_j)$ が与えられ、これらが $U_i \cap U_j$ 上で $f_i = f_j$ を満たすとする。集合論的な意味で、全体 $U$ 上の関数 $f$ が一意に定まることは通常の連続関数の貼り合わせから明らかである。示すべきは、この $f$ が $U$ 上で緩増加条件を満たすことである。
仮定より、各 $U_j$ 上で $f_j$ は緩増加であるから、定数 $C_j > 0, N_j > 0$ が存在して、
$$|f_j(x)| \le C_j \cdot \operatorname{dist}(x, \partial U_j)^{-N_j} \cdot (1+|x|)^{N_j}$$
を満たす。被覆が有限個であるため、上限 $C = \max_{1 \le j \le k} \{C_j\}$ および $N = \max_{1 \le j \le k} \{N_j\}$ は無限大に発散せず有限確定値として存在する。$U \subset U_1 \cup \dots \cup U_k$ の境界と各 $U_j$ の境界の関係について、劣解析的幾何学における Lojasiewicz の不等式等の適切な評価を用いると、関数 $f$ もまた $C, N$ に依存するある定数 $C', N'$ を用いて
$$|f(x)| \le C' \cdot \operatorname{dist}(x, \partial U)^{-N'} \cdot (1+|x|)^{N'}$$
を満たすことが従う。したがって無限の足し合わせによる爆発は起きず、$f \in \O^t(U)$ となる。局所性の公理も同様に有限被覆の性質から従うため、$\O^t$ は $X_{sa}$ 上の層として well-defined である。$\blacksquare$
層の理論において、通常の台 (support) は関数が「どこにあるか」しか教えてくれません。解析学においては、「波がどちらに進むか」「特異性がどの方向へ伝播するか」という方向の情報が不可欠です。柏原とSchapiraは、層 $\F$ に対して、余接束 $T^*X$ の部分集合としてマイクロ台 $SS(\F)$ を定義しました。
多様体 $X$ とその上の層の導来圏の対象 $\F \in D^b(X)$ を考える。余接束 $T^*X$ の点 $(x, \xi)$ （ただし $\xi \in T_x^*X$）がマイクロ台 $SS(\F)$ に含まれないとは、以下の条件を満たすことである。
点 $x$ の開近傍 $U$ 上の滑らかな関数 $\phi: U \to \R$ であって、$\phi(x) = 0$ かつ $d\phi(x) = \xi$ を満たす任意の関数をとる。このとき、十分小さな $x$ の開近傍 $V \subset U$ が存在して、
$$\left( R\Gamma_{\{ y \in V \mid \phi(y) \ge 0 \}}(\F) \right)_x = 0$$
が成り立つことである。
直観的には、「層の切断（情報）が、法線ベクトル $\xi$ を持つ壁 $\{ \phi = 0 \}$ を越えて延長しようとしたときに、何の障害もなくスムーズに延長できる方向」がマイクロ台の補集合です。逆に言えば、延長に失敗し、特異性にぶつかる方向の集まりがマイクロ台です。これを幾何学的に計算してみましょう。
$X = \R^2$ とし、$Z \subset \R^2$ を滑らかな境界 $\partial Z$ を持つ有界閉領域とする。このとき、定数層 $\F = \C_Z$ のマイクロ台は以下のようになる。
$$SS(\C_Z) = T^*_X X \cup \{ (x, \xi) \in T^*X \mid x \in \partial Z, \ \xi = \lambda \cdot n(x) \ (\lambda > 0) \}$$
ここで $T^*_X X$ はゼロ切断（$\xi=0$）、$n(x)$ は $\partial Z$ の点 $x$ における外向き法線ベクトルである。
点 $(x, \xi) \in T^*X$ の位置に応じて場合分けを行う。
(Case 1) $x \notin \partial Z$ の場合:
$x$ が $Z$ の内部にあるか、外部にある場合である。どちらの場合も、十分小さな近傍 $V$ をとれば、$V \cap Z = V$ または $V \cap Z = \varnothing$ となる。すなわち、$\C_Z|_V$ は定数層 $\C_V$ またはゼロ層 $0$ である。
任意の方向 $\xi \neq 0$ と、$\phi(x)=0, d\phi(x)=\xi$ なる関数 $\phi$ をとる。局所コホモロジー $\left( R\Gamma_{\{ \phi \ge 0 \}}(\C_V) \right)_x$ は、閉集合 $\{ \phi \ge 0 \}$ に台を持つセクションの芽を計算するものであるが、定数層のセクションは定数であり、半空間に台を持つ非自明な連続定数関数は存在しないため、コホモロジーは消滅する。したがって、$\xi \neq 0$ なる方向は $SS(\C_Z)$ に含まれない。自明な方向 $\xi = 0$ のみが含まれる。
(Case 2) $x \in \partial Z$ の場合:
境界 $\partial Z$ は滑らかであるため、局所的な定義関数 $f$ を用いて $Z = \{ f \le 0 \}$ と書ける。このとき外向き法線ベクトルは $n(x) = df(x)$ と同方向である。
(i) $\xi$ が $n(x)$ の正の定数倍である場合 ($\xi = \lambda n(x), \lambda > 0$)：
関数 $\phi$ を $\phi = f$ と選ぶことができる。このとき局所コホモロジー $\left( R\Gamma_{\{ f \ge 0 \}}(\C_Z) \right)_x$ を考える。完全系列
$$ 0 \to \Gamma_{\{ f \ge 0 \}}(\C_Z)_x \to \Gamma(\C_Z)_x \to \Gamma(X \smallsetminus \{f \ge 0\}, \C_Z)_x \to \dots $$
において、$\Gamma(\C_Z)_x = \C$ であるが、領域 $\{ f < 0 \}$ 側では切断は自明とならないため制限写像は単射ではない。導来圏レベルでの厳密な計算によれば、境界を跨いで値 $1$ から $0$ へ不連続に落ちるため、第0コホモロジーが $\C$ となり消滅しない。よってこの方向 $\xi$ は $SS(\C_Z)$ に含まれる。
(ii) $\xi$ が $n(x)$ の正の定数倍でない場合：
壁 $\{ \phi = 0 \}$ は境界 $\partial Z$ に対して横断的に交わるか、内側へ向かう。このとき、近傍を小さく極限をとると、幾何学的に領域の交わり方に位相的な変化（障害）が生じず、ホモトピー同値性により局所コホモロジーは $0$ となる。ゆえにこれ以外の方向は含まれない。$\blacksquare$
$Z = [0, 1] \times [0, 1] \subset \R^2$ を正方形の閉領域とする。角の点 $x = (1, 1)$ における $\C_Z$ のマイクロ台 $SS(\C_Z)_x$ は、以下の第1象限（錐）全体となる。
$$SS(\C_Z)_{(1,1)} = \{ (\xi_1, \xi_2) \in \R^2 \mid \xi_1 \ge 0, \ \xi_2 \ge 0 \}$$
角の点 $x = (1,1)$ において、領域 $Z$ は局所的に $\{ y_1 \le 1 \} \cap \{ y_2 \le 1 \}$ と書ける。定数層 $\C_Z$ はテンソル積を用いて $\C_{\{y_1 \le 1\}} \otimes \C_{\{y_2 \le 1\}}$ と表せる。
層のテンソル積に関するマイクロ台の評価式（Kashiwara-Schapiraの公式）によれば、2つの層のマイクロ台が横断的に交わる場合、テンソル積のマイクロ台はそれぞれのマイクロ台のファイバーのファイバー和（ベクトル和）として評価される。
辺 $\{y_1 = 1\}$ に対応する層 $\C_{\{y_1 \le 1\}}$ の $x$ におけるマイクロ台の方向は、定理3.2より $\xi_1 \ge 0, \xi_2 = 0$ である。
辺 $\{y_2 = 1\}$ に対応する層 $\C_{\{y_2 \le 1\}}$ の $x$ におけるマイクロ台の方向は $\xi_1 = 0, \xi_2 \ge 0$ である。
これらが交わる角 $x=(1,1)$ においては、この2つの方向ベクトルのすべての非負線型結合が延長の障害となる。幾何学的に見ても、関数 $\phi(y) = c_1(y_1 - 1) + c_2(y_2 - 1)$ （ただし $c_1, c_2 \ge 0$）で定義される壁 $\{ \phi \ge 0 \}$ を越えようとすると、右からも上からも層のサポートが切れるため、必ず局所コホモロジーが非自明となる。
一方、$c_1, c_2$ の少なくとも一方が負である方向（例えば左下方向など）へは、領域 $Z$ の内部に向かうため障害なく延長できる。したがって、マイクロ台はちょうど第1象限の錐 $\{ \xi_1 \ge 0, \xi_2 \ge 0 \}$ に一致する。$\blacksquare$
このマイクロ台の幾何学は、佐藤幹夫の「特異性伝播の定理」を通じて物理現象と直結します。波動方程式 $(\partial_t^2 - \partial_x^2 - \partial_y^2)u = 0$ の特性多様体 (characteristic variety) は光円錐 $\tau^2 - \xi^2 - \eta^2 = 0$ です。
直進する波（特異性）が正方形の「滑らかな辺」に当たった場合、マイクロ台は法線方向（1方向）のみを持つため、光円錐との幾何学的交差は単一の方向へ決定され、波は「入射角＝反射角」の法則に従って一本の波として反射 (reflection) します。
しかし、波が正方形の「角」に到達した瞬間、定理3.3で証明した通り、角のマイクロ台は扇状の錐として爆発しています。光円錐とこの扇状のマイクロ台が交差する結果、特異性はあらゆる方向へ引きずり出されます。これが、角を波源として球面波が散らばる回折波 (diffraction) の物理現象を、純粋な代数学（層の計算）によって予言・説明した驚異的な成果です。
「角におけるマイクロ台の爆発（回折）」という幾何学現象は、そのまま不確定特異点におけるストークス現象（解のジャンプ）の解決へと繋がります。
A. D'Agnoloと柏原は、関数 $e^{\varphi(x)}$ の増大度を幾何学的に扱うため、Grothendieck位相である劣解析的サイト $X_{sa}$ をベースにしつつ、空間 $X$ に変数 $t$ の実数直線 $\R_t$ を掛け合わせた増強空間 (enhanced space) $X \times \R_t$ を考案しました。解の爆発スピード $\Re(\varphi(x))$ を、この空間における「山の高さ」とみなすのです。
複素多様体 $X$ 上の（不確定特異点を含む任意の）ホロノミック $\D_X$ 加群の導来圏 $D^b_{hol}(\D_X)$ と、増強空間 $X \times \R_t$ 上の $\R$-構成可能な増強 Ind-層の導来圏 $E^b_{\R-c}(\C_X)$ との間に、増強解関手 $\Sol^E(\M) = \RHom_{\D_X}(\M, \O_X^E)$ を通じた完全な圏同値が存在する。
この巨大な定理が何を意味しているのか、最も基本的な1次元の不確定特異点型方程式を例に、完全に書き下して証明しましょう。
複素平面 $X = \C$ 上の $\D$ 加群 $\M = \D / \D(x^2 \partial_x - 1)$ を考える。対応する微分方程式は $x^2 y' - y = 0$ であり、原点 $x=0$ に不確定特異点を持つ。
方程式の古典的な解は $y(x) = e^{-1/x}$ である。この解の増大度を調べるため、指数関数の肩の関数 $\varphi(x) = -1/x$ の実部を解析する。
極座標 $x = r e^{i\theta} \ (r>0)$ を代入すると、
$$\Re\left(-\frac{1}{x}\right) = \Re\left(-\frac{1}{r} e^{-i\theta}\right) = -\frac{\cos\theta}{r}$$
となる。特異点 $r \to 0$ への極限を考えるとき、振る舞いは角度 $\theta$ に依存して3つの領域に完全に分割される。
D'Agnolo-Kashiwaraの理論によれば、この $\D$ 加群 $\M$ の増強解空間は、増強空間 $(\C \smallsetminus \{0\}) \times \R_t$ において、次で定義される幾何学的な領域 $Z$ の上に台を持つ定数層 $\C_Z$ （から劣解析的サイト上のGrothendieck位相を用いて定まる増強 Ind-層）として表現される。
$$Z = \left\{ (x, t) \in (\C \smallsetminus \{0\}) \times \R_t \ \Big|\ t \ge -\frac{\cos\theta}{r} \right\}$$
この図形 $Z$ の形状を観察する。急減衰セクターに近づくと、境界の斜面は $t \to -\infty$ へ向かって無限に深い「谷」を形成する。爆発セクターに近づくと、斜面は $t \to +\infty$ へ向かって無限に高い「崖」を形成する。
ストークス線 ($\theta = \pm \pi/2$) 上においては、この異なる2つの斜面が交差する。増強空間内で2つの斜面が交差すると、そこに鋭い「谷折り（または山折り）の角 (crease/corner)」が生まれる。
定理3.3で示した通り、層の台に「角」が存在する場所では、マイクロ台が扇状に爆発する。この増強空間内でのマイクロ台の爆発（特異性の回折）こそが、複素平面上で解を解析接続した際に、急減衰する解が突然爆発する解へとジャンプしてしまうストークス現象の純粋な幾何学的正体である。
層を貼り合わせる際の代数的なデータ（ストークス行列）は、この角におけるマイクロ台の散乱具合を指定する局所システムとして完全に翻訳される。$\blacksquare$
このように、解析学において「泥臭い不等式評価」や「不連続な化け物」として扱われていた不確定特異点とストークス現象は、Grothendieck位相（劣解析的サイト）によって関数空間の増大度を層の言葉として手懐け、次元を上げる（増強空間）ことで、「図形の角における波の回折」という極めて直観的で美しい幾何学現象へと完全に昇華されたのです。